Xue Jinyun: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach

Zhang, Haitao, Li, Guoqiang, Cheng, Zhuo, Xue, Jinyun

Journal:

Software Testing, Verification and Reliability

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

2

Generating a random cyclic permutation

David Gries, Jinyun Xue

Journal:

BIT Numerical Mathematics

Year:

1988

Language:

english

File:

PDF, 182 KB

english, 1988

3

A unified approach for developing efficient algorithmic programs

Journal:

Journal of Computer Science and Technology

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

4

[IEEE Comput. Sco First IEEE International Conference on Formal Engineering Methods - Hiroshima, Japan (12-14 Nov. 1997)] Proceedings First IEEE International Conference on Formal Engineering Methods - A simple program whose derivation and proof is also

Jinyun Xue,, Davis, R.

Year:

1997

Language:

english

File:

PDF, 569 KB

english, 1997

5

[American Society of Civil Engineers International Conference on Pipelines and Trenchless Technology - Xi'an, China (October 16-18, 2013)] ICPTT 2013 - Analysis of Some Problems in Design of Corrosion Protection for Long-Distance Pipeline

Zhao, Jinyun, Wang, Bo, Zhao, Jun, Zhang, Feng, Xue, Zhiyuan

Year:

2013

Language:

english

File:

PDF, 270 KB

english, 2013

6

[IEEE 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Shanghai, China (2016.5.30-2016.6.1)] 2016 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) - Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover

Xu, Huazhen, You, Zhen, Xue, Jinyun

Year:

2016

Language:

english

File:

PDF, 956 KB

english, 2016

7

[IEEE 2020 IEEE International Conference on Service-Oriented System Engineering (SOSE) - Oxford, United Kingdom (2020.8.3-2020.8.6)] 2020 IEEE International Conference on Service Oriented Systems Engineering (SOSE) - Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task

Cheng, Zhuo, Xue, Jinyun, Zhang, Haitao, You, Zhen, Hu, Qimin, Lim, Yuto

Year:

2020

File:

PDF, 725 KB

2020

8

Developing a linear algorithm for cubing a cyclic permutation

Jinyun Xue, David Gries

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 261 KB

english, 1988

9

Formal derivation of graph algorithmic programs using partition-and-recur

Journal:

Journal of Computer Science and Technology

Year:

1998

Language:

english

File:

PDF, 528 KB

english, 1998

10

A problem reduction based approach to discrete optimization algorithm design

Yujun Zheng, Jinyun Xue

Journal:

Year:

2010

Language:

english

File:

PDF, 313 KB

english, 2010

11

Influence of Eight Unclassified Missense Variants of theMLH1Gene on Lynch Syndrome Susceptibility

Yimei Fan, Jinyun Chen, Wei Wang, Puyuan Wu, Wenxian Zhi, Binshuang Xue, Wanfen Zhang, Yaping Wang

Journal:

Biochemical Genetics

Year:

2012

Language:

english

File:

PDF, 307 KB

english, 2012

12

A simple greedy algorithm for a class of shuttle transportation problems

Yujun Zheng, Chuanqing Xu, Jinyun Xue

Journal:

Optimization Letters

Year:

2009

Language:

english

File:

PDF, 118 KB

english, 2009

13

Two new strategies for developing loop invariants and their applications

Journal:

Journal of Computer Science and Technology

Year:

1993

Language:

english

File:

PDF, 517 KB

english, 1993

14

[Lecture Notes in Computer Science] Frontiers in Algorithmics Volume 5598 || Minimizing the Weighted Directed Hausdorff Distance between Colored Point Sets under Translations and Rigid Motions

Deng, Xiaotie, Hopcroft, John E., Xue, Jinyun

Year:

2009

Language:

english

File:

PDF, 350 KB

english, 2009

15

g-B3N3C: a novel two-dimensional graphite-like material

Jinyun Li, Daqiang Gao, Xiaoning Niu, Mingsu Si, Desheng Xue

Journal:

Nanoscale Research Letters

Year:

2012

Language:

english

File:

PDF, 463 KB

english, 2012

16

Ferromagnetism in freestanding MoS2nanosheets

Gao, Daqiang, Si, Mingsu, Li, Jinyun, Zhang, Jing, Zhang, Zhipeng, Yang, Zhaolong, Xue, Desheng

Journal:

Nanoscale Research Letters

Year:

2013

Language:

english

File:

PDF, 623 KB

english, 2013

17

Defect-Mediated Magnetism in Pure CaO Nanopowders

Gao, Daqiang, Li, Jinyun, Li, Zhuoxin, Zhang, Zhaohui, Zhang, Jing, Shi, Huigang, Xue, Desheng

Journal:

The Journal of Physical Chemistry C

Year:

2010

Language:

english

File:

PDF, 277 KB

english, 2010

18

Room-Temperature Ferromagnetism of Flowerlike CuO Nanostructures

Gao, Daqiang, Yang, Guijin, Li, Jinyun, Zhang, Jing, Zhang, Jinlin, Xue, Desheng

Journal:

The Journal of Physical Chemistry C

Year:

2010

Language:

english

File:

PDF, 3.13 MB

english, 2010

19

[IEEE 2007 IEEE International Conference on Automation and Logistics - Jinan, China (2007.08.18-2007.08.21)] 2007 IEEE International Conference on Automation and Logistics - Distributed Cooperative Planning and Scheduling for Disaster Management

Zheng, Yujun, Wang, Jinquan, Xue, Jinyun

Year:

2007

Language:

english

File:

PDF, 342 KB

english, 2007

20

Determination of the anisotropies and reversal process in exchange-bias bilayers using a rotational magnetization curve approach

Sui, Wenbo, Zhu, Jingyi, Li, Jinyun, Chai, Guozhi, Jiang, Changjun, Fan, Xiaolong, Xue, Desheng

Journal:

Journal of Applied Physics

Year:

2011

Language:

english

File:

PDF, 1.78 MB

english, 2011

21

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || Modeling and Analysis of Component Connectors in Coq

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 446 KB

english, 2014

22

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || Towards a Failure Model of Software Components

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 503 KB

english, 2014

23

[Lecture Notes in Computer Science] Frontiers in Algorithmics Volume 5598 || Square and Rectangle Covering with Outliers

Deng, Xiaotie, Hopcroft, John E., Xue, Jinyun

Year:

2009

Language:

english

File:

PDF, 171 KB

english, 2009

24

[IEEE Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) - Qingdao, China (2007.07.30-2007.08.1)] Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) - Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Shi, Haihe, Xue, Jinyun

Year:

2007

Language:

english

File:

PDF, 390 KB

english, 2007

25

[IEEE Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - (2008.05.14-2008.05.16)] Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - A Mechanical Approach for Deriving Algorithmic Programs

shi, haihe, xue, jinyun, du, dawei

Year:

2008

Language:

english

File:

PDF, 183 KB

english, 2008

26

[IEEE 2007 IEEE International Conference on Automation and Logistics - Jinan, China (2007.08.18-2007.08.21)] 2007 IEEE International Conference on Automation and Logistics - Formal Programming for the Shortest Path and Its Critical Edge Problems

Zheng, Yujun, Xue, Jinyun, Shi, Haihe

Year:

2007

Language:

english

File:

PDF, 270 KB

english, 2007

27

[IEEE Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - (2008.05.14-2008.05.16)] Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) - Generating Algorithms plus Loop Invariants by Formal Derivation

Shi, Haihe, Du, Dawei, Xue, Jinyun

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

28

[IEEE 2011 IEEE/ACIS 10th International Conference on Computer and Information Science (ICIS) - Sanya, China (2011.05.16-2011.05.18)] 2011 10th IEEE/ACIS International Conference on Computer and Information Science - Formal Derivation of Two Algorithms Involving Sequences

Shi, Haihe, Xue, Jinyun

Year:

2011

Language:

english

File:

PDF, 284 KB

english, 2011

29

[IEEE 2010 2nd International Conference on Information Technology and Computer Science (ITCS 2010) - Kiev, Ukraine (2010.07.24-2010.07.25)] 2010 Second International Conference on Information Technology and Computer Science - On the Essence and Characteristics of Inter-disciplinary Innovative Talents for Information-Based Entrepreneurship

Sun, Delin, Wu, Chuansun, Xue, Jinyun, Hu, Yanyan, Hu, Fang, Cai, Zhenyan, Zhu, Youlin, Zhang, Zhongliang

Year:

2010

Language:

english

File:

PDF, 200 KB

english, 2010

30

[IEEE 2011 IEEE 5th International Symposium on Theoretical Aspects of Software Engineering (TASE) - Xi'an, China (2011.08.29-2011.08.31)] 2011 Fifth International Conference on Theoretical Aspects of Software Engineering - A Generative Approach to Searching Algorithmic Programs Development

Shi, Haihe, Xue, Jinyun

Year:

2011

Language:

english

File:

PDF, 350 KB

english, 2011

31

[IEEE 2010 Third International Joint Conference on Computational Science and Optimization - Huangshan, Anhui, China (2010.05.28-2010.05.31)] 2010 Third International Joint Conference on Computational Science and Optimization - Problem Reduction Graph Model for Discrete Optimization Problems

Zheng, Yujun, Xue, Jinyun

Year:

2010

Language:

english

File:

PDF, 265 KB

english, 2010

32

[IEEE 2010 International Conference on Progress in Informatics and Computing (PIC) - Shanghai, China (2010.12.10-2010.12.12)] 2010 IEEE International Conference on Progress in Informatics and Computing - An algebraic approach to mechanical tabu search algorithm generation

Zheng, Yujun, Shi, Haihe, Xue, Jinyun

Year:

2010

Language:

english

File:

PDF, 191 KB

english, 2010

33

[IEEE 2009 International Symposium on Computer Network and Multimedia Technology (CNMT 2009) - Wuhan, China (2009.01.18-2009.01.20)] 2009 International Symposium on Computer Network and Multimedia Technology - Construction and Management of Electronic Commerce Knowledge System Innovation Experimental Plot Project

Sun, Delin, Shi, Wen, Tan, Xin, Xue, Jinyun, Liu, Peipei, Zhang, Lianxing, Cheng, Yaowen

Year:

2009

Language:

english

File:

PDF, 185 KB

english, 2009

34

[IEEE 2006 IEEE International Conference on Service Operations and Logistics, and Informatics - Shanghai, China (2006.06.21-2006.06.23)] 2006 IEEE International Conference on Service Operations and Logistics, and Informatics - DISPDESK: A Logistic Constraint Programming System for Construction Machinery

Zheng, Yujun, Yang, Junwei, Zhu, Yuling, Xue, Jinyun

Year:

2006

Language:

english

File:

PDF, 6.38 MB

english, 2006

35

[IEEE 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing (ICSC) - Beijing, China (2008.10.10-2008.10.12)] 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing - ISDGen: An automated simulation data generation tool for object-oriented information systems

Zheng, Yujun, Xue, Jinyun, Zhu, Yuling

Year:

2008

Language:

english

File:

PDF, 536 KB

english, 2008

36

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Generating Provably Correct Algorithmic Programs from Formal Specifications

Shi, Haihe, Xue, Jinyun

Year:

2010

Language:

english

File:

PDF, 276 KB

english, 2010

37

[IEEE 2007 First IEEE International Symposium on Information Technologies and Applications in Education - Kunming, China (2007.11.23-2007.11.25)] 2007 First IEEE International Symposium on Information Technologies and Applications in Education - A High Performance Solution for Automated Computer Examination Systems

Zheng, Yujun, Wang, Lianlai, Xue, Jinyun

Year:

2007

Language:

english

File:

PDF, 125 KB

english, 2007

38

[IEEE 2010 2nd International Symposium on Information Engineering and Electronic Commerce (IEEC) - Ternopil, Ukraine (2010.07.23-2010.07.25)] 2010 2nd International Symposium on Information Engineering and Electronic Commerce - The Essence and Second-Mover Advantage of Information Entrepreneurship

Sun, Delin, Shi, Wen, Xue, Jinyun, Wu, Yixiang, Wu, Wenkang, Xiao, Wenrong, Wu, Chuande, Zou, Huabing

Year:

2010

Language:

english

File:

PDF, 89 KB

english, 2010

39

[IEEE Education (ICCSE) - Nanning, China (2009.07.25-2009.07.28)] 2009 4th International Conference on Computer Science & Education - A category theoretic approach to search algorithms: Towards a unified implementation for branch-and-bound and backtracking

Zheng, Yujun, Xue, Jinyun, Shi, Haihe

Year:

2009

Language:

english

File:

PDF, 541 KB

english, 2009

40

[IEEE 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD) - Wuhan, China (2012.05.23-2012.05.25)] Proceedings of the 2012 IEEE 16th International Conference on Computer Supported Cooperative Work in Design (CSCWD) - A reputation model based on hierarchical bayesian estimation for Web services

Jiang, Dongming, Xue, Jinyun, Xie, Wuping

Year:

2012

Language:

english

File:

PDF, 1.14 MB

english, 2012

41

[IEEE 2010 International Forum on Information Technology and Applications (IFITA) - Kunming, China (2010.07.16-2010.07.18)] 2010 International Forum on Information Technology and Applications - Research of Informationization Entrepreneurship Education's Essence and Characteristic

Sun, Delin, Shi, Wen, Xue, Jinyun, Tang, Puyuan, Tang, Xintao, Hu, Zhen, Ye, Shelin, Dai, Huan

Year:

2010

Language:

english

File:

PDF, 442 KB

english, 2010

42

[IEEE The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007) - Chengdu, China (2007.11.1-2007.11.3)] The First International Symposium on Data, Privacy, and E-Commerce (ISDPE 2007) - Automated Large-Scale Simulation Test-Data Generation for Object-Oriented Software Systems

Zheng, Yujun, Ma, Yan, Xue, Jinyun

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

43

[IEEE 2009 First International Conference on Information Science and Engineering - Nanjing, China (2009.12.26-2009.12.28)] 2009 First International Conference on Information Science and Engineering - Model Analysis of Talents' Abilities and Qualities for Information-Based Entrepreneurship

Sun, Delin, Xue, Jinyun, Tan, Xin, Liu, Peipei, Sun, Zhiyuan, Yao, Juying

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

44

A-TEAM BASED SUPPLY CHAIN MANAGEMENT AGENT ARCHITECTURE

ZHENG, YUJUN, WANG, JINQUAN, XUE, JINYUN

Journal:

International Journal of Artificial Intelligence Tools

Year:

2009

Language:

english

File:

PDF, 777 KB

english, 2009

45

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 608 KB

english, 2014

46

[Lecture Notes in Computer Science] Frontiers in Algorithmics Volume 5598 || DDoS Attack Detection Algorithm Using IP Address Features

Deng, Xiaotie, Hopcroft, John E., Xue, Jinyun

Year:

2009

Language:

english

File:

PDF, 339 KB

english, 2009

47

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8348 || Automatic Component Deployment in the Presence of Circular Dependencies

Fiadeiro, José Luiz, Liu, Zhiming, Xue, Jinyun

Year:

2014

Language:

english

File:

PDF, 500 KB

english, 2014

48

[ACM Press the 2006 international workshop - Shanghai, China (2006.05.27-2006.05.27)] Proceedings of the 2006 international workshop on Economics driven software engineering research - EDSER '06 - An extension of COCOMO II for the B-Method

Zheng, Yujun, Wang, Kan, Xue, Jinyun

Year:

2006

Language:

english

File:

PDF, 236 KB

english, 2006

49

[IEEE 2006 IEEE International Conference on Granular Computing - Atlanta, GA, USA (10-12 May 2006)] 2006 IEEE International Conference on Granular Computing - Formal automatic verification of security protocols

Meihua Xiao,, Jinyun Xue,

Year:

2006

Language:

english

File:

PDF, 251 KB

english, 2006

50

[IEEE 2009 International Forum on Computer Science-Technology and Applications - Chongqing, China (2009.12.25-2009.12.27)] 2009 International Forum on Computer Science-Technology and Applications - Preliminary Study on the Knowledge System Applicable to Inter-disciplinary Innovative Talents for Information-Based Entrepreneurship

Sun, Delin, Xue, Jinyun, Zhong, Mingyu, Wang, Qing, Cheng, Yaowen, Liu, Peipei, Zou, Wenbo

Year:

2009

Language:

english

File:

PDF, 256 KB

english, 2009